Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
003F30 | Emilie Balland [France] ; Yohan Boichut [France] ; Thomas Genet [France] ; Pierre-Etienne Moreau [France] | Towards an Efficient Implementation of Tree Automata Completion |
005043 | Yohan Boichut [France] ; Thomas Genet [France] | Feasible Trace Reconstruction for Rewriting Approximations |
005804 | Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
This area was generated with Dilib version V0.6.33. |